This series of files contains:
- A dataset of cleaned-up mathematical theorems with their estimated conjecture times, extracted from the Wikipedia page
on List of unsolved problems in mathematics as of the 1st of November
2022.
(<https://en.wikipedia.org/w/index.php?title=List_of_unsolved_problems_in_mathematics&oldid=1119489813>)
- A file explaining why some conjectures were rejected
- Calculations for the probability that these conjectures will be solved by 2027 and 2032, respectively
- Visualizations for those calculations